a(X,Y):- mod(X,Y) =:= 0.